Structural Simulation of Distributed Computations Using Chronolog(mc)

Chronolog(MC) is a logic programming language based on a linear-time temporal logic with multiple granularity of time. In this logic, all formulas can be clocked and are allowed to be deened on local clocks. Therefore the language is exible and it is suitable for modeling and specifying those systems where the notion of dynamic change is central. This paper presents a knowledge-based modeling methodology for the speciication of distributed computations with Chronolog(MC). The methodology combines trajectory and structural simulation methods together to describe a simulation system, and it develops a mod-eling formalism to represent the initial structural representation of a system as well as a method to use in determining the next representation of the structure. This methodology can be used for building a simulation environment for distributed computations, which provides an integration of modeling formalism, modeling environment, knowledge-base management and processing of the model in simulation.